package sketch.icse11nier;

import sketch.ounit.Values;
import sketch.specs.annotation.TestSketch;
import junit.framework.TestCase;

public class Z_Sketch_ChooseValue extends TestCase {

	@TestSketch
	public void testMethod1() {
		int i = Values.choose(1, 2);
		method1(i);
	}
	
	@TestSketch
	public void testMethod2() {
		Integer[] is = Values.exhaust(1, 2);
		method2(is);
	}
	
	private void method1(int i) {
		//a mocking method
	}
	
	private void method2(Integer[] is) {
		//a mocking method
	}
	
}